modal ['moudl] tính từ (thuộc) cách thức, (thuộc) phương thức (ngôn ngữ...
logic ['lɔdʤik] danh từ Lôgic logic lôgic Aristotelian l. lôgic...
Câu ví dụ
Now this is really interesting, if you understand modal logic. Điều này thật ra rất dễ dàng, nếu bạn hiểu rõ về cơ chế xếp hạng củaGoogle.
They felt the need to resort to Modal Logic to prove that I was wrong.” Họ đã cảm thấy cần thiết dùng đến Lôgích Modal [16] để chứng minh rằng tôi đã sai.
They felt the need to resort to Modal Logic to prove that I was wrong. Họ đã cảm thấy cần thiết dùng đến Lôgích Modal [16] để chứng minh rằng tôi đã sai.
They felt the need to resort to Modal Logic to prove that I was wrong."" Họ đã cảm thấy cần thiết dùng đến Lôgích Modal [16] để chứng minh rằng tôi đã sai.
However, modal logic can be used to encode non-classical logics, such as intuitionistic logic. Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
However, modal logic can be used to encode non-classical logics, such as intuitionistic logic. Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
On the other hand, modal logic can be used to encode non-classical logics, such as intuitionistic logic. Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
On the other hand, modal logic can be used to encode non-classical logics, such as intuitionistic logic. Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
He wrote his first completeness theorem in modal logic at the age of 17, and had it published a year later. Ông đã viết định lý hoàn chỉnh đầu tiên của mình về modal logic ở tuổi 17, và đã xuất bản nó một năm sau.
He wrote his first completeness theorem in modal logic at the age of 17, and had it published a year later. Ông đã viết định lý hoàn chỉnh đầu tiên của mình về modal logic ở tuổi 17, và đã xuất bản nó một năm sau.
Điện thoại